WORK DONE ON MIDDLEWARE INFRASTRUCTURE FOR PREDICATE DETECTION
نویسندگان
چکیده
منابع مشابه
An Infrastructure for Adaptable Middleware
Today’s software systems have to deal with an increasing diversity and complexity of execution environments. Next generation applications will have to deal with the unknown, with execution conditions which can not be predicted at the time they are written: they must be adaptable. In this paper, we present our current answer to this problem, in the form of an infrastructure for adaptable middlew...
متن کاملislanding detection methods for microgrids
امروزه استفاده از منابع انرژی پراکنده کاربرد وسیعی یافته است . اگر چه این منابع بسیاری از مشکلات شبکه را حل می کنند اما زیاد شدن آنها مسائل فراوانی برای سیستم قدرت به همراه دارد . استفاده از میکروشبکه راه حلی است که علاوه بر استفاده از مزایای منابع انرژی پراکنده برخی از مشکلات ایجاد شده توسط آنها را نیز منتفی می کند . همچنین میکروشبکه ها کیفیت برق و قابلیت اطمینان تامین انرژی مشترکان را افزایش ...
15 صفحه اولPredicate Detection on Infinite Computations
Earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on an infinite computation. In this work we develop theory and associated algorithms for predicate detection in infinite runs. We introduce the concept of d-diagram which is a finite representation of infinite directed graphs....
متن کاملA Middleware Infrastructure for Active Spaces
P ervasive computing environments augment human thought and activity with digital information, processing, and analysis, providing an observed world that is enhanced by the behavioral context of its users. A spectrum of heterogeneous computation and communication devices aim to enhance user productivity and facilitate everyday tasks. Despite the prevalence of such devices, however, no suitable ...
متن کاملSemantic Framework for Rudder Middleware Infrastructure
Rudder is a generative agent-based middleware with intelligent deductive capabilities and effective coordination services for Grid autonomic applications. It provides a coordination environment to develop and enable self-managing systems, adopting multi-agent based management and reactive tuple space coordination technology. Rudder employs context-aware agent mechanism and tuple space coordinat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computer and Communication Technology
سال: 2017
ISSN: 2231-0371,0975-7449
DOI: 10.47893/ijcct.2017.1403